<?php
    session_start();
        if(!isset($_SESSION['id_usuario'])){
            echo "<script>document.location='login.php'</script>";
        }
?>